Application of Logic to Combinatorial Sequences and Their Recurrence Relations
نویسندگان
چکیده
2010 Mathematics Subject Classification. 03-02, 03C98, 05-02, 05A15, 11B50 . Partially supported by an ISF grant number 1101/06 and an ERC-2007-StG grant number 202405. Partially supported by the Fein Foundation and the Graduate School of the Technion Israel Institute of Technology. Partially supported by the Israel Science Foundation for the project “Model Theoretic Interpretations of Counting Functions” (2007-2010) and the Grant for Promotion of Research by the Technion–Israel Institute of Technology.
منابع مشابه
Definability of Combinatorial Functions and Their Linear Recurrence Relations
We consider functions of natural numbers which allow a combinatorial interpretation as density functions (speed) of classes of relational structures, such as Fibonacci numbers, Bell numbers, Catalan numbers and the like. Many of these functions satisfy a linear recurrence relation over Z or Zm and allow an interpretation as counting the number of relations satisfying a property expressible in M...
متن کاملToeplitz transforms of Fibonacci sequences
We introduce a matricial Toeplitz transform and prove that the Toeplitz transform of a second order recurrence sequence is another second order recurrence sequence. We investigate the injectivity of this transform and show how this distinguishes the Fibonacci sequence among other recurrence sequences. We then obtain new Fibonacci identities as an application of our transform.
متن کاملA Combinatorial Proof of the Non-Vanishing of Hankel Determinants of the Thue-Morse Sequence
In 1998, Allouche, Peyrière, Wen and Wen established that the Hankel determinants associated with the Thue–Morse sequence on {−1, 1} are always nonzero. Their proof depends on a set of sixteen recurrence relations. We present an alternative, purely combinatorial proof of the same result. We also re-prove a recent result of Coons on the non-vanishing of the Hankel determinants associated to two ...
متن کاملRelation Between RNA Sequences, Structures, and Shapes via Variation Networks
Background: RNA plays key role in many aspects of biological processes and its tertiary structure is critical for its biological function. RNA secondary structure represents various significant portions of RNA tertiary structure. Since the biological function of RNA is concluded indirectly from its primary structure, it would be important to analyze the relations between the RNA sequences and t...
متن کاملn-Colour self-inverse compositions
Abstract. MacMahon’s definition of self-inverse composition is extended to n-colour self-inverse composition. This introduces four new sequences which satisfy the same recurrence relation with different initial conditions like the famous Fibonacci and Lucas sequences. For these new sequences explicit formulas, recurrence relations, generating functions and a summation formula are obtained. Two ...
متن کامل